associated principal bundle

[数] 相伴主丛